🇬🇷 el en 🇬🇧

λογική πρώτου βαθμού

first-order logic